/*
 * boot/vxloader/vxloader.h
 *
 * Copyright (C) 2008 - diyr
 *
 */

#ifndef _VXLOADER_H
#define _VXLOADER_H

void putstr(const char *str);

#endif
